منابع مشابه
Computational Adequacy of the FIX-Logic
This paper presents computational adequacy results for the FIX logical system introduced by Crole and Pitts in LICS ’90. More precisely, we take two simple PCF style languages (whose dynamic semantics follow a call-byvalue and call-by-name regime) give translations of the languages into suitable judgements in the FIX-logic and prove that the translations are adequate for the static and dynamic ...
متن کاملNew Foundations for Fixpoint Computations: FIX-Hyperdoctrines and the FIX-Logic
This paper introduces a new higher-order typed constructive predicate logic for fixpoint computations, which exploits the categorical semantics of computations introduced by Moggi [Mog 89] and contains a version of Martin Löf’s ‘iteration type’ [MarL 83]. The type system enforces a separation of computations from values. The logic contains a novel form of fixpoint induction and can express part...
متن کاملFUZZY LOGIC POSITION CONTROL OF THE MINI-LINEAR DRIVER Fuzzy logic position control of the mini-linear driver
In order to overcome the limitations of the end clamps of traditional robot, multifingered dextrous robot hands have been well developed since the last decade. A new fuzzy logic control structure is presented in this article, which is for the position control of the mini-linear driver used in driving the joints of the dextrous robot hands. This method is proved to be effective in simulations an...
متن کاملPosition Paper: Ontological Logic Programming
In this paper, we propose a novel approach that combines logic programming with ontological reasoning. The proposed approach enables the use of ontological terms directly within logic programs. We demonstrate the usefulness of the proposed approach using a case-study of sensor-task matchmaking.
متن کاملdesign of an analog fuzzy logic controller chip
fuzzy logic has been developed over the past three decades into a widely applied techinque in classification and control engineering. today fuzzy logic control is one of the most important applications of fuzzy set theory and specially fuzzy logic. there are two general approachs for using of fuzzy control, software and hardware. integrated circuits as a solution for hardware realization are us...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of the Nautical Society of Japan
سال: 1968
ISSN: 2433-0116
DOI: 10.9749/jina.40.0_71